# Is Socrates a mortal?
assert (const human_______________ var humans______________) ((const woman_______________ var humans______________))
assert (const human_______________ var humans______________) ((const man_________________ var humans______________))
assert (const mortal______________ var mortals_____________) ((const human_______________ var mortals_____________))
assert (const man_________________ const socrates____________) ()
search (const mortal______________ var mortals_____________)

search 1 (var form________________ const socrates____________)

# Is a rose by any other name just as sweet?
## Yes, but somethings you need to brace yourself for the name.
assert (const sweet_______________ (var name________________)) ()
assert (const rose________________ var name________________) ((const sweet_______________ var name________________))
search (const rose________________ var name________________)

# Meta!
assert (const search______________ var term________________) (var term________________)

assert const 11111111111111111111 ()
assert const 22222222222222222222 (const 11111111111111111111 const 33333333333333333333)
search const 22222222222222222222

assert (const list_people_________ var mortals_____________) ((const mortal______________ var mortals_____________) (const print_______________ var mortals_____________))

assert (const socrates____________ var term________________) ((const mortals_____________ var term________________))
assert (const socrates____________ var term________________) ((const human_______________ var term________________))
assert (const mortals_____________ var term________________) ()
assert (const mortals_____________ var term________________) ((const human_______________ var term________________))
search (const socrates____________ var term________________)
